モデルプレビュー
Model Previewでは、レビューやテストのためのモデルの読み取り専用バージョンを表示します。
アプリのテストを行ったり、テスト結果を見たりする際に、さまざまな部分がどのように接続されているかを理解するためにモデルを再訪することがあります。モデルを表示するには、Designer > Modelsに移動し、選択したモデルのViewをクリックします。
新しいユーザーの場合は、まず新しいモデルを作成して、作業に使えるものを用意してみることをお勧めします。
Model Previewを初めて見る場合は、ビジュアル比較を見て、Model EditingとModel Previewの違いを確認することをお勧めします。
Model Previewページの上部には、現在のモデルに関連する便利なリンクがあります：
- Models: 完全なモデルリストへのリンク。
- Results: テスト結果へのリンク
- Coverage: coverage
- Test Cases: test cases.
- Export：現在のモデルをjsonとしてダウンロード。
- Edit: 現在のモデルに変更を加えます。
- Run: このモデルを ライブ実行 でテストします。
Workspace
ワークスペースには、モデルの視覚的な表現が表示されます。状態またはアクションをクリックすると、右側の「モデルプレビュー」ペインに選択した要素のプロパティが表示されます。ワークスペース上でマウスオーバーすると、何もない部分をクリックしてドラッグすることでパンしたり、スクロールしてズームしたりできます。
Element Properties
ワークスペースで要素を選択すると、自動的に「要素プロパティ」タブが有効になります。モデルプレビューの右側のペインの幅は、ペインとワークスペースの間の境界線をドラッグすることで変更できます。
ステートプロパティ
stateを選択すると、以下のプロパティが表示されます：
- State Name
- Description：stateを説明する自由テキスト。
- Type：Start、Normal、Cleanup、またはExceptionのいずれか。
- Tags: モデルを分類して、バグハンティングに役立ちます。
_Run_セクションでは、stateのコンテキスト内で定義されているスニペットやParameterが表示されます。stateに関連付けられたスニペットは、DAIエンジンが特定のstateに到達したときにスニペット内で定義されたスクリプトを実行します。state内で定義されているParameterは、stateとstate内で定義されている子Actionで利用可能です。
Action Properties
Actionを選択すると、以下のプロパティが表示されます：
- Action Name
- Description：Actionを説明する自由テキスト。
- Type：Normal、Sequent、またはPrevious。
- Weight：探索的テスト中にエンジンがActionを選択する確率。
- Action Limit：state内でActionが選択される回数。
- Reset action limit：stateに入る際にAction限界をリセット。
- Tags: バグハンティング に役立つカテゴリ。
- Connection Destination(s)：接続されているstateや連続Action。
Run Actions
Actionを実行する際には、以下の3つのステージがあります。各ステージは以下の通りです。
Pre-Run
Pre-conditions
これらは、エンジンがActionを実行する前に満たされなければならないルールです。任意のActionには複数の事前条件があります。これには、親stateとグローバルスコープからのParameterを含む、スコープ内の任意のParameterが含まれます。各事前条件には次のフィールドが含まれます：
- Parameter：Parameterの名前。各Parameterのスコープも括弧内に表示されます。
- Type：Parameterのデータタイプ。
- Operation：比較に使用されるオペレーター。
- Value：オペレーターと共に使用されるParameterの値。
Set and Generate Parameter Values
これらは、エンジンがActionスニペットを実行する前にParameter値を定義するルールです。各Actionに対して複数のセットおよび生成ルールがあります。各ルールには次のフィールドが含まれます：
- Parameter：Parameterの名前。各Parameterのスコープも括弧に表示されます。
- Type：Parameterのデータタイプ。
- Operation：
setまたはgenerateのいずれかになります。 - Value：オペレーターと共に使用されるParameterの値。
Run
SnippetsとParametersを参照してください。
Post-Run
Checksは、スニペットの実行後に発生し、特定の条件のParameter値を確認するために行われます。そうでない場合、Actionは失敗します。各チェックには次のフィールドが含まれます：
- Parameter：Parameterの名前。
- Condition：条件のオペレーター。
- Value：条件の値。
- Message：条件がチェックに失敗したときのエラーメッセージ。
Global Properties
Global Propertiesタブはいつでも選択できます。
グローバルパラメータ
グローバルParameterは、モデル内のすべてのstateおよびActionで利用可能です。Parametersを参照してください。
Tag Definitions
タグ定義を使用すると、明示的な値を持つタグを作成し、モデルの各部を分類してバグハンティングを改善できます。例えば、特定の機能をタイプ別、またはそれを作成した開発チーム別に分類できます。テスト実行時に見つかった不具合は、エンジンに影響を与え、どの状態とアクションを実行するかを決定するアルゴリズムの確率を高めます。
各タグ定義には名前と、コンマで区切られた値のリストがあります。
Snippets
stateまたはActionに対して複数のスニペットを定義できます。これらはリストされた順序で実行されます。各スニペットには次のフィールドが表示されます：
- Name：関連付けられたスクリプトファイル名。
- Disabled：実行中にスニペットを無効にすることができます。
- Input：スクリプトに渡される入力Parameterのリスト。
- Output：スクリプトから返されるParameterのリスト。
Parameters
グローバルまたはstateまたはActionで定義された各Parameterには、次のフィールドが含まれます：
- Name：Parameterの名前。
- Type：Parameterのデータタイプ。
- Generation：Parameter値がランダムに生成されるかどうか。
- Initial Value：生成されないParameterに対して、その初期値を設定するために非生成Parameterと共に動作します。
Comparison
このプレビューでは、モデル要素がモデルエディタでの表示とは異なる新鮮な外観になっています。次の表は、新しい要素と既存の要素のプレビュー前後を示しています。
| 要素 | 以前 | 現在 |
|---|---|---|
| Initial State |  |  |
| Action with snippet attached |  |  |
| Action without snippet attached |  |  |
| グローバルアクション - グローバルアクションの作成方法の詳細については、グローバルアクションを参照してください。 |  |  |
| Action with submodel attached: 注：サブモデルは他のActionタイプよりも優先されます。Actionがサブモデルを使用する場合、そのActionはスニペットを使用する場合や退出する場合でも常にサブモデルタイプとして表示されます。 |  |  |
| Action with submodel attached: |  |  |
| Previous Action |  |  |
| Sequential Action |  | |
| State without snippet attached |  |  |
| State with snippet attached |  |  |
デフォルトの隠しstate（エラー、クリーンアップ、終了）はまだ表示されていません。